An Application Specific Shell for Design Rule Checking
نویسندگان
چکیده
This paper presents a tool, which can be described as an expert system shell specialized for the application domain of checking electronic hardware designs with respect to a set of design rules. The shell has been used successfully to represent various kinds of design rules and to check real integrated circuit designs. We will first discuss concept of application specific shell in general. Then we describe the application domain of design rule checking and the specialized shell that we have implemented in SICStus Prolog. Finally, the results of a usability evaluation are presented and discussed.
منابع مشابه
A Bim Assisted Rule Based Approach for Checking of Green Building Design
ABSTRACT: Since the publication of green building standards from the last decade, the designer of green buildings have often encountered the challenges of limited time but considerable complexity in the process of evaluating their design according to the rules specified in the standards. Also, the design process is usually an iterative one, which includes rule-checking tasks that are tedious an...
متن کاملAn Edge-Endpoint-Based Configurable Hardware Architecture for VLSI CAD Layout Design Rule Checking
Design rule checking (DRC) is an important step in VLSI design in which the widths and spacings of design features in a VLSI circuit layout are checked against the design rules of a particular fabrication process. In the past, some efforts to build hardware accelerators for DRC have been proposed, but these efforts were hobbled by the fact that it is often impractical to build a different rule-...
متن کاملIntroducing a Mashup-Based Approach for Design-Time Compliance Checking in Business Processes
Business process compliance tries to ensure the business processes used in an organization are designed and executed according to the rules that govern the company. However, the nature of rules (expressed in natural language) and the large amount of elements that can be involved in them make their materialization and automated checking quite difficult. That is why the existing support for compl...
متن کاملA Study on the Commentary of Historical Verses with an Emphasis on the Rule of Al-Ibrah
One of the prevalent commentary rules about commentary of the historical verses which has a certain revelation occasion and refers to a specific time and place is the rule of alibrah being stated as: take in consideration universality of the word not particularity of the occasion. The source of this rule refers to the verses which have universal word and particular occasion. The referent of the...
متن کاملLightweight Checking for UML Based Software Development
This paper describes the application of xlinkit, a generic tool for managing the consistency of distributed documents, to consistency checking in the context of UML modelling and software development. In particular, we report how we have developed an application of xlinkit to the UML Core package Well-Formedness Rules [9]. We first give an overview of how xlinkit works. We then expand on the sp...
متن کامل